💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·18h
🎯Gradual Typing
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·21h
🦀Rust Verification
Python Fundamentals: build
dev.to·23h·
Discuss: DEV
🔄Reproducible Builds
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·21h·
Discuss: Hacker News
🔐CBOR
A distributed systems reliability glossary
antithesis.com·20h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·19h·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
A Rust shaped hole
ente.io·2d
🦀Rust Macros
The C3 Programming Language
c3-lang.org·11h·
Discuss: Hacker News
🔗Concatenative Programming
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·11h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Advanced JIT Compilers for Ruby: TruffleRuby and JRuby
blog.appsignal.com·2h·
Discuss: Hacker News
🔄Reproducible Builds
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·19h
🔗Hash Chains
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·3h·
Discuss: Hacker News
🌀Brotli Internals
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·6h
🔧RISC-V Assembler
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·2d
🌐DNS Security